81. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
82. Logic in algebraic form. Three languages and theories
پدیدآورنده : Craig, William.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C73
83. Logic in algebraic form. Three languages and theories Amsterdam. North-Holland Pub. Co
پدیدآورنده : Craig, William
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Algebraic logic,، Proof theory
رده :
QA
10
.
C7
84. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
85. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
86. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
87. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
88. Math proofs demystified
پدیدآورنده : / Stan Gibilisco
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Proof theory , Popular works,Electronic books. , local
رده :
E-BOOK
89. Math proofs demystified
پدیدآورنده : Stan Gibilisco
موضوع : Proof theory - Popuar works
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
90. Mathematical analysis and proof
پدیدآورنده : / by David S.G. Stirling
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
91. Mathematical analysis and proof
پدیدآورنده : Stirling, David S.G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
92. Mathematical analysis and proof
پدیدآورنده : Stirling, David S. G.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Mathematical analysis , Proof theory
رده :
QA
300
.
S887
1997
93. Mathematical reasoning
پدیدآورنده : Ted Sundstrom
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Proof theory
94. Mathematical thinking and writing :
پدیدآورنده : / Randall B. Maddox
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
95. Mathematical thinking and writing: a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
54
.
M34
2002
96. Mathematical thinking and writing :a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
M34
2002
97. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده : edited by Alfred Driessen and Antoine Suarez
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
98. Meditations on first philosophy
پدیدآورنده : / Renae Descartes
کتابخانه: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)
موضوع : First philosophy,God--Proof, Ontological,Methodology,Knowledge, Theory of
رده :
B1853
.
E5
,
M67
2008
99. Meditations on first philosophy in focus
پدیدآورنده : Rene Descartes ; edited and with an introduction by Stanley Tweyman,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : First philosophy - Early works to 1800,God - Proof, Ontological - Early works to 1800,Methodology,Knowledge, Theory of,Descartes, Rene, - 1596-1650 - Views on methodology
رده :
B
.
E5H44
1853
1993
100. Meditations on first philosophy :with selections from the Objections and replies
پدیدآورنده : Descartes, Renعe
کتابخانه: Library of Mofid University (Qom)
موضوع : ، First philosophy,Proof, Ontological ، God,، Methodology,، Knowledge, Theory of
رده :
B1853
.
E5
M67
2008